Two Algebraic Process Semantics for Contextual Nets
نویسندگان
چکیده
We show that the so-called ‘Petri nets are monoids’ approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by considering suitable nonfree monoids of places. The algebraic characterizations of net concurrent computations we provide cover both the collective and the individual token philosophy, uniformly along the two interpretations, and coincide with the classical proposals for place/transition Petri nets in the absence of read-arcs.
منابع مشابه
Contextual Petri Nets, Asymmetric Event Structures, and Processes
We present an event structure semantics for contextual nets, an extension of P/T Petri nets where transitions can check for the presence of tokens without consuming them (read-only operations). A basic rôle is played by asymmetric event structures, a generalization of Winskel’s prime event structures where symmetric conflict is replaced by a relation modelling asymmetric conflict or weak causal...
متن کاملModelling Concurrent Computations: from Contextual Petri Nets to Graph Grammars
Graph grammars (or graph transformation systems), originally introduced as a generalization of string grammars, can be seen as a powerful formalism for the specification of concurrent and distributed systems, which properly extends Petri nets. The idea is that the state of a distributed system can be naturally represented (at a suitable level of abstraction) as a graph and local state transform...
متن کاملA Causal Semantics for Contextual P/T Nets
The problem of nding a true concurrent semantics for contextual P/T nets has not been deeply studied yet. The interest for such a semantics has been renewed by some recent proposals to equip mobile process algebras with a net semantics based on this model. In this paper we move a step towards the deenition of such a semantics: we rst propose a causal semantics for P/T nets and we prove that thi...
متن کاملNon Sequential Semantics for Contextual P/T Nets
The problem of nding a true concurrent semantics for con-textual P/T nets has not been deeply studied yet. The interest for such a semantics has been renewed by some recent proposals to equip mobile process algebras with a net semantics based on this model. In 3] we proposed a causal semantics for such nets, in this paper we study the non sequential semantics of contextual P/T nets. The semanti...
متن کاملAn Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures
We propose an event based semantics for contextual nets, i.e. an extension of Place/Transition Petri nets where transitions can also have context conditions, modelling resources that can be read without being consumed. The result is a generalization of Winskel’s work on safe nets: the event based semantics is given at categorical level via a chain of coreflections leading from the category WS-C...
متن کامل